On Existence in Set Theory, Part II: Relative Productivity
نویسندگان
چکیده
منابع مشابه
On Existence in Set Theory, Part II: Relative Productivity
The present paper continues the investigation initiated in [2]. After a short introduction, the notion of relative productivity is defined and a technical apparatus is developed in order to evaluate the classification of the axioms obtained in [2]. Some results on the semilattice of simple relative degrees are proved at the end of section 2. Section 3 adds some concluding remarks.
متن کاملSet Theory and Nominalization, Part II
In this paper we shall meet the application of Scott domains to nominalisation and explain its problem of predication. We claim that it is not possible to nd a solution to such a problem within semantic domains without logic. Frege structures are more conclusive than a solution to domain equations and can be used as models for nominalisation. Hence we develop a type theory based on Frege struct...
متن کاملExistence in Set Theory
Let Ĥ be a class. In [16], the authors address the ellipticity of p-adic primes under the additional assumption that Levi-Civita’s criterion applies. We show that η ( θ̃Λ ) ⊃ log( 1i ) ΓJ (∞−7,−|c′|) , t ′ ≤ א0 lim ←− tanh ( k̂ ) , U ⊂ u . Hence unfortunately, we cannot assume that Chern’s condition is satisfied. It would be interesting to apply the techniques of [16] to domains.
متن کاملOn Existence in Set Theory, Part Iii: Applications to New Axioms
The present paper applies the conceptual apparatus developed in [1] and [2] to new axioms, and devises new tools for an analysis of the search for new axioms. Beginning with a discussion of the role of the axioms for a set theory, the distinction between existence axioms and axioms of the nature of sets is reconsidered, and definition 1 gives a precise meaning for “axiom of the nature of sets”....
متن کاملRelative set theory: Internal view
A nonstandard set theory with many levels of standardness was first proposed by Yves Péraire [28]. The theory GRIST formulated here is an extension of Péraire’s RIST. We prove that it is conservative and categorical over ZFC, and universal among theories of its kind. Technically, the paper carries out detailed analysis of the construction of internally iterated ultrapowers introduced in the aut...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 2014
ISSN: 0029-4527
DOI: 10.1215/00294527-2377896